Skip to content

PR for #142: Correct issue with eps file closing#143

Merged
liaochris merged 1 commit intomainfrom
142-fix-bug-with-remove-eps-info
Mar 25, 2026
Merged

PR for #142: Correct issue with eps file closing#143
liaochris merged 1 commit intomainfrom
142-fix-bug-with-remove-eps-info

Conversation

@liaochris
Copy link
Collaborator

@liaochris liaochris commented Mar 20, 2026

This issue corrects a bug where we didn't successfully close eps files prior to writing to them.

@liaochris liaochris linked an issue Mar 20, 2026 that may be closed by this pull request
@liaochris liaochris requested a review from jmshapir March 20, 2026 17:35
@liaochris liaochris changed the title improved file opening procedure #142 PR for #142: Correct issue with eps file closing Mar 20, 2026
Copy link
Contributor

@jmshapir jmshapir left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@liaochris looks good to me!

I'd like to have a second review.

I've invited @simonessigaberg to the repository following #53 (comment).

Once @simonessigaberg accepts the invite can you add @simonessigaberg as reviewer?

Thanks!

Copy link
Collaborator

@simonessigaberg simonessigaberg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@liaochris this looks good to me, thanks.

@liaochris
Copy link
Collaborator Author

Will merge #141 before #143 so I can see how it works in a live environment.

@liaochris liaochris merged commit f51a10f into main Mar 25, 2026
15 checks passed
@github-actions
Copy link

@liaochris Issue summary

Thanks for closing this pull.

Before leaving the pull, please be sure you have completed all the required steps in the workflow.

This includes filling in the issue summary linked at the top of this comment.

liaochris added a commit that referenced this pull request Mar 25, 2026
@liaochris liaochris deleted the 142-fix-bug-with-remove-eps-info branch March 25, 2026 14:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix bug with remove eps info

3 participants